A Situation Calculus Approach to Modeling and Programming Agents
نویسنده
چکیده
منابع مشابه
Yves Lespérance, Hector J. Levesque, and Raymond Reiter a Situation Calculus Approach to Modeling and Programming Agents
The notion of computational agents has become very fashionable lately [23, 31]. Building such agents seems to be a good way of congenially providing services to users in networked computer systems. Typical applications are information retrieval over the internet, automation of common user activities, smart user interfaces, integration of heterogenous software tools, intelligent robotics, busine...
متن کاملA Fuzzy Compromise Programming Solution for Supplier Selection in Quantity Discounts Situation
Supplier selection, Multi-objective decision making, Fuzzy Compromise programming, Supply chain management, Quantity discount . Supplier selection is naturally a complex multi-objective problem including both quantitative and qualitative factors. This paper deals with this issue from a new view point. A quantity discount situation, which plays a role of motivator for buyer, is con...
متن کاملA Situation Calculus Model of Hypertext
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hypertext systems. In our presentation, a particular version of the situation calculus (which includes a language for programming complex actions) developed for the modeling of dynamic worlds and for the control of robotic ag...
متن کاملA statistical model checker for situation calculus based multi-agent models
In this paper we introduce a new approach for multi-agent simulation and statistical model checking that combines the well-established situation calculus with a first order version of bounded linear time logic (BLTL). This creates a fully integrated solution for specifying system behavior and requirements within the same logical framework. We realized the approach in an extensible tool that com...
متن کامل